1. Basic laws of arithmetic :
پدیدآورنده : by Gottlob Frege ; translated and edited by Philip A. Ebert & Marcus Rossberg, with Crispin Wright and the advice of Michael Beaney [and nine others] ; appendix by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Mathematics.
رده :
BC135
.
F85
2. Combinatorial Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematical Logic and Foundations. ;
3. Die Gödel'schen Unvollständigkeitssätze :
پدیدآورنده : von Dirk W. Hoffmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical Logic and Foundations.,Mathematics.
4. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
5. Frege, Gottlob
پدیدآورنده :
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Number concept,Arithmetic - Foundations,Logic, Symbolic and mathematical
6. Frege. philosophy of mathematics
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics -- Philosophy,Foundations ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
D85F7
7. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics -- Philosophy,Mathematics -- Foundations,Logic, Symbolic and mathematical
رده :
QA
.
F74
8
.
6
1995
8. Frege's philosophy of mathematics
پدیدآورنده :
موضوع : ، Mathematics-- Philosophy,، Mathematics-- Foundations,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Fundamental concepts of modern mathematics
پدیدآورنده : Larsen, Max D.
موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Handbook of Set Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Logic. ; Science ; Philosophy. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematical Logic and Foundations. ; Logic. ; Philosophy of Science. ;
11. Lesniewski's systems of logic and foundations of mathematics
پدیدآورنده : Urbaniak, Rafal
موضوع : ، Logic, Symbolic and mathematical.,، Mathematical foundations ; Logic ; Philosophy of science,، SCIENCE / Philosophy & Social Aspects
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Logic and arithmetic
پدیدآورنده : David Bostock
موضوع : Arithmetic- Foundations,Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Logic and arithmetic
پدیدآورنده : / David Bostock
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Arithmetic - Foundations,Logic, symbolic and mathematical,Numbers, natural
رده :
512
.
72
B747
14. Logic and arithmetic.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
رده :
QA248
.
B725
15. Symbolic logic and the real number system; an introduction to the foundations of number systems
پدیدآورنده : Lightstone, A H
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Arithmetic -- Foundations,، Logic, Symbolic and mathematical
رده :
QA
255
.
L55
16. The road to universal logic :
پدیدآورنده : Arnold Koslow, Arthur Buchsbaum, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics
رده :
QA9
17. 1940-The search for mathematical roots, 1870
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Arithmetic ; Foundations. ; Set theory ; History ; 19th century. ; Set theory ; History ; 20th century. ; Logic, Symbolic and mathematical ; History ; 19th century. ; Logic, Symbolic and mathematical ; History ; 20th century. ;
18. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
19. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : Rossi, Richard J., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
20. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده : Richard J. Rossi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
